Reversible SSG Gate for Implementing Parity Checker Generator and Magnitude Comparator
نویسندگان
چکیده
منابع مشابه
Design and Optimization of Parity Generator and Parity Checker Based On Quantum-dot Cellular Automata
Quantum-dot Cellular Automata (QCA) is one of the most substitute emerging nanotechnologies for electronic circuits, because of lower power consumption, higher speed and smaller size in comparison with CMOS technology. The basic devices, a Quantum-dot cell can be used to implement logic gates and wires. As it is the fundamental building block on nanotechnology circuits. By applying XOR gate the...
متن کاملAn All-Photonic Molecule-Based Parity Generator/Checker for Error Detection in Data Transmission
The function of a parity generator/checker, which is an essential operation for detecting errors in data transmission, has been realized with multiphotochromic switches by taking advantage of a neuron-like fluorescence response and reversible light-induced transformations between the implicated isomers.
متن کاملImplementing a Model Checker for LEGO
Interactive theorem proving gives a general approach for modelling and veriication of both hardware and software systems but requires signiicant human eeorts to deal with many tedious proofs. To be used in practical, we need some automatic tools such as model checkers to deal with those tedious proofs. In this paper, we formalise a veriica-tion system of both CCS and an imperative language in L...
متن کاملImplementing a Model Checker for Performability Behaviour
We describe a novel model checking algorithm for analysing the behaviour of stochastic systems with respect to their performability. Systems are modelled as actionlabelled CTMCs, and the properties to be veri ed are speci ed with the help of the action-based temporal logic aCSL. The technique is currently being implemented in our freely available prototype tool ETMCC.
متن کاملImplementing a CTL Model checker
This paper discusses the implementation of a branching time temporal logic CTL model checker for the PROD Pr/T-Net Reachability analysis tool. A new algorithm for model checking CTL is presented. This algorithm doesn't need the converse of the transition relation as the EMC algorithm does 4]. The algorithm also provides a counterexample and witness facility using one-pass reachabil-ity graph tr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Indian Journal of Science and Technology
سال: 2016
ISSN: 0974-5645,0974-6846
DOI: 10.17485/ijst/2016/v9i20/86890